Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
Random models of very hard 2QBF and disjunctive programs: An overview
2018-01-01 Amendola, G.; Ricca, F.; Truszczynski, M.
Re-engineering IoT systems through ACOSO-Meth: The IETF CoRE based agent framework case study
2018-01-01 Savaglio, C.; Leppänen, T.; Russo, W.; Riekki, J.; Fortino, G.
Reasoning about Smart Contracts via LTL Encoding
2022-01-01 Fionda, V.; Greco, G.; Mastratisi, M. A.
A reputation mechanism to support cooperation of IoT devices
2019-01-01 Fortino, G.; Fotia, L.; Messina, F.; Rosaci, D.; Sarne, G. M. L.
Scheduling Periodic Treatments via Answer Set Programming
2023-01-01 Caruso, S.; Dodaro, C.; Galata, G.; Maratea, M.
Scheduling Pre-Operative Assessment Clinic via Answer Set Programming
2021-01-01 Caruso, S.; Galata, G.; Maratea, M.; Mochi, M.; Porro, I.
Segmentation of vessel tree from cine-angiography images for intraoperative clinical evaluation
2018-01-01 Bruno, P.; Zaffino, P.; Scaramuzzino, S.; De Rosa, S.; Indolfi, C.; Calimeri, F.; Spadea, M. F.
A Sequence to Sequence Approach for Knowledge Base Relation Linking
2021-01-01 Barbara, Vito; Manuel, Borroto; Ricca, Francesco
Simple user assistance by data posting
2019-01-01 Masciari, E.; Sacca, D.; Trubitsyna, I.
A simulation-based and data-driven framework for enabling the analysis and design of business processes based on blockchain and smart contracts solutions
2020-01-01 Argento, L.; Graziano, S.; Garro, A.; Guzzo, A.; Pasqua, F.; Sacca, D.
Smart applications for smart city: A contribution to innovation
2014-01-01 Citrigno, S.; Graziano, S.; Lupia, F.; Sacca, D.
Smart Data Exchange
2020-01-01 Greco, S.; Ianni, M.; Masciari, E.; Sacca, D.; Trubitsyna, I.
Some experiments on activity outlier detection
2021-01-01 Ianni, M.; Masciari, E.
A speech about generative datalog and non-measurable sets
2021-01-01 Alviano, M.; Zamayla, A.
Stable Semantics for Epistemic Abstract Argumentation Framework
2023-01-01 Alfano, G.; Greco, S.; Parisi, F.; Trubitsyna, I.
Standard vs. Learning-based Codecs for Real Time Endoscopic Video Transmission
2021-01-01 Marzullo, A.; Golini, M.; Catellani, M.; De Momi, E.; Calimeri, F.; Fiameni, G.; Frosio, I.
Supporting agent CoT groups formation by trust
2019-01-01 Fortino, G.; Fotia, L.; Messina, F.; Rosaci, D.; Sarne, G. M. L.
A system prototype for approximate query answering over incomplete data
2019-01-01 Fiorentino, N.; Greco, S.; Molinaro, C.; Trubitsyna, I.
Taking stock of available technologies for compliance checking on first-order knowledge
2022-01-01 Robaldo, L.; Batsakis, S.; Calegari, R.; Calimeri, F.; Fujita, M.; Governatori, G.; Morelli, M. C.; Pisano, G.; Satoh, K.; Tachmazidis, I.
TAll: A New Shiny App of Text Analysis for All
2023-01-01 Aria, Massimo; Cuccurullo, Corrado; D’Aniello, Luca; Misuraca, Michelangelo; Spano, Maria
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Random models of very hard 2QBF and disjunctive programs: An overview | 1-gen-2018 | Amendola, G.; Ricca, F.; Truszczynski, M. | |
| Re-engineering IoT systems through ACOSO-Meth: The IETF CoRE based agent framework case study | 1-gen-2018 | Savaglio, C.; Leppänen, T.; Russo, W.; Riekki, J.; Fortino, G. | |
| Reasoning about Smart Contracts via LTL Encoding | 1-gen-2022 | Fionda, V.; Greco, G.; Mastratisi, M. A. | |
| A reputation mechanism to support cooperation of IoT devices | 1-gen-2019 | Fortino, G.; Fotia, L.; Messina, F.; Rosaci, D.; Sarne, G. M. L. | |
| Scheduling Periodic Treatments via Answer Set Programming | 1-gen-2023 | Caruso, S.; Dodaro, C.; Galata, G.; Maratea, M. | |
| Scheduling Pre-Operative Assessment Clinic via Answer Set Programming | 1-gen-2021 | Caruso, S.; Galata, G.; Maratea, M.; Mochi, M.; Porro, I. | |
| Segmentation of vessel tree from cine-angiography images for intraoperative clinical evaluation | 1-gen-2018 | Bruno, P.; Zaffino, P.; Scaramuzzino, S.; De Rosa, S.; Indolfi, C.; Calimeri, F.; Spadea, M. F. | |
| A Sequence to Sequence Approach for Knowledge Base Relation Linking | 1-gen-2021 | Barbara, Vito; Manuel, Borroto; Ricca, Francesco | |
| Simple user assistance by data posting | 1-gen-2019 | Masciari, E.; Sacca, D.; Trubitsyna, I. | |
| A simulation-based and data-driven framework for enabling the analysis and design of business processes based on blockchain and smart contracts solutions | 1-gen-2020 | Argento, L.; Graziano, S.; Garro, A.; Guzzo, A.; Pasqua, F.; Sacca, D. | |
| Smart applications for smart city: A contribution to innovation | 1-gen-2014 | Citrigno, S.; Graziano, S.; Lupia, F.; Sacca, D. | |
| Smart Data Exchange | 1-gen-2020 | Greco, S.; Ianni, M.; Masciari, E.; Sacca, D.; Trubitsyna, I. | |
| Some experiments on activity outlier detection | 1-gen-2021 | Ianni, M.; Masciari, E. | |
| A speech about generative datalog and non-measurable sets | 1-gen-2021 | Alviano, M.; Zamayla, A. | |
| Stable Semantics for Epistemic Abstract Argumentation Framework | 1-gen-2023 | Alfano, G.; Greco, S.; Parisi, F.; Trubitsyna, I. | |
| Standard vs. Learning-based Codecs for Real Time Endoscopic Video Transmission | 1-gen-2021 | Marzullo, A.; Golini, M.; Catellani, M.; De Momi, E.; Calimeri, F.; Fiameni, G.; Frosio, I. | |
| Supporting agent CoT groups formation by trust | 1-gen-2019 | Fortino, G.; Fotia, L.; Messina, F.; Rosaci, D.; Sarne, G. M. L. | |
| A system prototype for approximate query answering over incomplete data | 1-gen-2019 | Fiorentino, N.; Greco, S.; Molinaro, C.; Trubitsyna, I. | |
| Taking stock of available technologies for compliance checking on first-order knowledge | 1-gen-2022 | Robaldo, L.; Batsakis, S.; Calegari, R.; Calimeri, F.; Fujita, M.; Governatori, G.; Morelli, M. C.; Pisano, G.; Satoh, K.; Tachmazidis, I. | |
| TAll: A New Shiny App of Text Analysis for All | 1-gen-2023 | Aria, Massimo; Cuccurullo, Corrado; D’Aniello, Luca; Misuraca, Michelangelo; Spano, Maria |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile